منابع مشابه
Ranked Structures and Arithmetic Transfinite Recursion
ATR0 is the natural subsystem of second-order arithmetic in which one can develop a decent theory of ordinals. We investigate classes of structures which are in a sense the “well-founded part” of a larger, simpler class, for example, superatomic Boolean algebras (within the class of all Boolean algebras). The other classes we study are: well-founded trees, reduced Abelian p-groups, and countabl...
متن کاملTransfinite recursion and computation in the iterative conception of set
Transfinite recursion is an essential component of set theory. In this paper, we seek intrinsically justified reasons for believing in recursion and the notions of higher computation that surround it. In doing this, we consider several kinds of recursion principles and prove results concerning their relation to one another. We then consider philosophical motivations for these formal principles ...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولAutonomous fixed point progressions and fixed point transfinite recursion
This paper is a contribution to the area of metapredicative proof theory. It continues recent investigations on the transfinitely iterated fixed point theories ÎDα (cf. [10]) and addresses the question of autonomity in iterated fixed point theories. An external and an internal form of autonomous generation of transfinite hierarchies of fixed points of positive arithmetic operators are introduce...
متن کاملDeterminacy and Π 11 transfinite recursion along ω
It is known that almost all important set existence axioms in second order arithmetic can be characterized by determinacy schemes of infinite games. In this article, we sketch the proof of the equivalence between Π1 transfinite recursion along ω and determinacy scheme.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1961
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1961-10696-4